Higher-order function

Results: 126



#Item
71U NIVERSITY OF C AMBRIDGE C OMPUTER L ABORATORY First-Year Computer Science (Part IA) ML Exercise Sheets Here are the exercises for the ML Practical Classes. These classes complement the Foundations of Computer Science L

U NIVERSITY OF C AMBRIDGE C OMPUTER L ABORATORY First-Year Computer Science (Part IA) ML Exercise Sheets Here are the exercises for the ML Practical Classes. These classes complement the Foundations of Computer Science L

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2013-09-10 09:26:45
72Scala By Example  DRAFT May 24, 2011  Martin Odersky

Scala By Example DRAFT May 24, 2011 Martin Odersky

Add to Reading List

Source URL: www.scala-lang.org

Language: English - Date: 2011-05-25 09:15:01
73A Shortcut Fusion Rule for Circular Program Calculation Jo˜ao Paulo Fernandes ∗ Alberto Pardo  Jo˜ao Saraiva

A Shortcut Fusion Rule for Circular Program Calculation Jo˜ao Paulo Fernandes ∗ Alberto Pardo Jo˜ao Saraiva

Add to Reading List

Source URL: www.fing.edu.uy

Language: English - Date: 2007-07-31 11:45:54
746  Highe r- Or de r F unc t ions An important part of all functional programming languages is the ability to take a function you defined

6 Highe r- Or de r F unc t ions An important part of all functional programming languages is the ability to take a function you defined

Add to Reading List

Source URL: www.nostarch.com

Language: English - Date: 2012-12-20 19:02:06
75Lightweight Language Weekend 発表資料 「君ならどう書く」 お題: ls-lR Shell 言語: Haskell 発表者: 花谷 ■ Main.hs 1 module Main where 2 3 import List 4 import IO

Lightweight Language Weekend 発表資料 「君ならどう書く」 お題: ls-lR Shell 言語: Haskell 発表者: 花谷 ■ Main.hs 1 module Main where 2 3 import List 4 import IO

Add to Reading List

Source URL: ll.jus.or.jp

Language: English - Date: 2005-09-01 04:14:40
76Getting Started with Erlang  version 5.4 Typeset in LATEX from SGML source using the DOCBUILDER 3.3 Document System.

Getting Started with Erlang version 5.4 Typeset in LATEX from SGML source using the DOCBUILDER 3.3 Document System.

Add to Reading List

Source URL: www.erlang.org

Language: English
77Electronic Notes in Theoretical Computer Science 44 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages When is a function a fold or an unfold? Jeremy Gibbons a , Graham Hutton b , and Thorsten A

Electronic Notes in Theoretical Computer Science 44 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages When is a function a fold or an unfold? Jeremy Gibbons a , Graham Hutton b , and Thorsten A

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2001-05-08 03:49:24
78Higher-Order Symb Comput DOI[removed]s10990[removed]Polynomial-time inverse computation for accumulative functions with multiple data traversals Kazutaka Matsuda · Kazuhiro Inaba · Keisuke Nakano

Higher-Order Symb Comput DOI[removed]s10990[removed]Polynomial-time inverse computation for accumulative functions with multiple data traversals Kazutaka Matsuda · Kazuhiro Inaba · Keisuke Nakano

Add to Reading List

Source URL: www.kmonos.net

Language: English - Date: 2013-10-07 22:23:30
79Strong Function Call Steven Lyde and Matthew Might University of Utah Abstract. This work presents an incremental improvement to abstract interpretation of higher order languages, similar to strong update, which

Strong Function Call Steven Lyde and Matthew Might University of Utah Abstract. This work presents an incremental improvement to abstract interpretation of higher order languages, similar to strong update, which

Add to Reading List

Source URL: matt.might.net

Language: English - Date: 2014-12-26 13:28:21
8015_0672328623_ch12.qxd[removed]:09 PM

15_0672328623_ch12.qxd[removed]:09 PM

Add to Reading List

Source URL: assets.devx.com

Language: English - Date: 2006-03-13 11:53:18